existence of extremum

极值的存在